(0
 (
  ("(x 6)" 3 35)
  ("(x 5)" 35 46)
  ("(x 4)" 46 85)
  ("(x 3)" 85 92)
  ("(x 2)" 92 99)
  ("(x 1)" 99 139)
  ("(x down)" 4 6)
  ("(x stable)" 6 19)
  ("(x up)" 19 58)
  ("(x stable)" 58 74)
  ("(x up)" 74 110)
  ("(x stable)" 110 133)
  ("(x up)" 133 139)
  ("(y 2)" 3 27)
  ("(y 3)" 27 32)
  ("(y 4)" 32 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 83)
  ("(y 5)" 83 90)
  ("(y 4)" 90 95)
  ("(y 3)" 95 99)
  ("(y 2)" 99 105)
  ("(y 1)" 105 139)
  ("(y up)" 4 9)
  ("(y stable)" 9 20)
  ("(y down)" 20 56)
  ("(y stable)" 56 65)
  ("(y up)" 65 114)
  ("(y stable)" 114 133)
  ("(y down)" 133 139)
 ))
(1
 (
  ("(x 6)" 3 39)
  ("(x 5)" 39 46)
  ("(x 4)" 46 97)
  ("(x 3)" 97 102)
  ("(x 2)" 102 106)
  ("(x 1)" 106 138)
  ("(x down)" 4 5)
  ("(x stable)" 5 33)
  ("(x up)" 33 55)
  ("(x stable)" 55 59)
  ("(x up)" 59 66)
  ("(x stable)" 66 78)
  ("(x down)" 78 91)
  ("(x stable)" 91 92)
  ("(x up)" 92 116)
  ("(x stable)" 116 119)
  ("(x up)" 119 126)
  ("(x stable)" 126 132)
  ("(x up)" 132 138)
  ("(y 2)" 3 32)
  ("(y 3)" 32 36)
  ("(y 4)" 36 40)
  ("(y 5)" 40 47)
  ("(y 6)" 47 90)
  ("(y 5)" 90 99)
  ("(y 4)" 99 102)
  ("(y 3)" 102 105)
  ("(y 2)" 105 109)
  ("(y 1)" 109 138)
  ("(y up)" 4 6)
  ("(y stable)" 6 9)
  ("(y up)" 9 16)
  ("(y stable)" 16 25)
  ("(y down)" 25 56)
  ("(y stable)" 56 79)
  ("(y up)" 79 118)
  ("(y stable)" 118 133)
  ("(y down)" 133 138)
 ))
(2
 (
  ("(x 6)" 3 29)
  ("(x 5)" 29 41)
  ("(x 4)" 41 44)
  ("(x 5)" 44 63)
  ("(x 4)" 63 84)
  ("(x 3)" 84 89)
  ("(x 2)" 89 93)
  ("(x 1)" 93 126)
  ("(x up)" 4 6)
  ("(x stable)" 6 24)
  ("(x up)" 24 42)
  ("(x stable)" 42 44)
  ("(x down)" 44 49)
  ("(x stable)" 49 59)
  ("(x up)" 59 66)
  ("(x stable)" 66 76)
  ("(x up)" 76 108)
  ("(x stable)" 108 126)
  ("(y 2)" 3 4)
  ("(y 1)" 4 23)
  ("(y 2)" 23 30)
  ("(y 3)" 30 35)
  ("(y 4)" 35 39)
  ("(y 5)" 39 44)
  ("(y 6)" 44 78)
  ("(y 5)" 78 86)
  ("(y 4)" 86 91)
  ("(y 3)" 91 95)
  ("(y 2)" 95 106)
  ("(y 1)" 106 126)
  ("(y up)" 4 7)
  ("(y stable)" 7 20)
  ("(y down)" 20 55)
  ("(y stable)" 55 59)
  ("(y up)" 59 112)
  ("(y stable)" 112 115)
  ("(y up)" 115 122)
  ("(y down)" 122 126)
 ))
(3
 (
  ("(x 6)" 3 21)
  ("(x 5)" 21 40)
  ("(x 4)" 40 78)
  ("(x 3)" 78 82)
  ("(x 2)" 82 87)
  ("(x 1)" 87 113)
  ("(x stable)" 4 12)
  ("(x up)" 12 29)
  ("(x stable)" 29 30)
  ("(x up)" 30 53)
  ("(x stable)" 53 72)
  ("(x up)" 72 104)
  ("(x stable)" 104 112)
  ("(x down)" 112 113)
  ("(y 1)" 3 20)
  ("(y 2)" 20 26)
  ("(y 3)" 26 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 39)
  ("(y 6)" 39 73)
  ("(y 5)" 73 79)
  ("(y 4)" 79 83)
  ("(y 3)" 83 87)
  ("(y 2)" 87 93)
  ("(y 1)" 93 113)
  ("(y stable)" 4 12)
  ("(y down)" 12 55)
  ("(y stable)" 55 62)
  ("(y up)" 62 102)
  ("(y stable)" 102 107)
  ("(y down)" 107 113)
 ))
(4
 (
  ("(x 6)" 3 9)
  ("(x 5)" 9 41)
  ("(x 4)" 41 82)
  ("(x 3)" 82 87)
  ("(x 2)" 87 91)
  ("(x 1)" 91 114)
  ("(x up)" 4 16)
  ("(x stable)" 16 21)
  ("(x up)" 21 46)
  ("(x stable)" 46 68)
  ("(x up)" 68 114)
  ("(y 2)" 3 29)
  ("(y 3)" 29 33)
  ("(y 4)" 33 37)
  ("(y 5)" 37 46)
  ("(y 6)" 46 76)
  ("(y 5)" 76 84)
  ("(y 4)" 84 88)
  ("(y 3)" 88 91)
  ("(y 2)" 91 96)
  ("(y 1)" 96 114)
  ("(y up)" 4 14)
  ("(y stable)" 14 20)
  ("(y down)" 20 58)
  ("(y stable)" 58 66)
  ("(y up)" 66 110)
  ("(y stable)" 110 112)
  ("(y down)" 112 114)
 ))
(5
 (
  ("(x 6)" 3 29)
  ("(x 5)" 29 56)
  ("(x 4)" 56 85)
  ("(x 3)" 85 90)
  ("(x 2)" 90 95)
  ("(x 1)" 95 130)
  ("(x stable)" 4 25)
  ("(x up)" 25 38)
  ("(x stable)" 38 40)
  ("(x up)" 40 62)
  ("(x stable)" 62 76)
  ("(x up)" 76 111)
  ("(x stable)" 111 112)
  ("(x up)" 112 119)
  ("(x stable)" 119 125)
  ("(x up)" 125 130)
  ("(y 2)" 3 34)
  ("(y 3)" 34 38)
  ("(y 4)" 38 42)
  ("(y 5)" 42 49)
  ("(y 6)" 49 84)
  ("(y 5)" 84 90)
  ("(y 4)" 90 94)
  ("(y 3)" 94 100)
  ("(y 2)" 100 113)
  ("(y 1)" 113 130)
  ("(y stable)" 4 23)
  ("(y down)" 23 62)
  ("(y stable)" 62 67)
  ("(y up)" 67 123)
  ("(y stable)" 123 128)
  ("(y down)" 128 130)
 ))
(6
 (
  ("(x 5)" 3 25)
  ("(x 6)" 25 39)
  ("(x 5)" 39 52)
  ("(x 4)" 52 90)
  ("(x 3)" 90 94)
  ("(x 2)" 94 99)
  ("(x 1)" 99 134)
  ("(x stable)" 4 25)
  ("(x down)" 25 32)
  ("(x stable)" 32 36)
  ("(x up)" 36 59)
  ("(x stable)" 59 84)
  ("(x up)" 84 112)
  ("(x stable)" 112 130)
  ("(x up)" 130 134)
  ("(y 2)" 3 31)
  ("(y 3)" 31 35)
  ("(y 4)" 35 39)
  ("(y 5)" 39 44)
  ("(y 6)" 44 85)
  ("(y 5)" 85 92)
  ("(y 4)" 92 96)
  ("(y 3)" 96 100)
  ("(y 2)" 100 106)
  ("(y 1)" 106 134)
  ("(y stable)" 4 23)
  ("(y down)" 23 55)
  ("(y stable)" 55 70)
  ("(y up)" 70 115)
  ("(y stable)" 115 130)
  ("(y down)" 130 134)
 ))
(7
 (
  ("(x 5)" 3 88)
  ("(x 4)" 88 95)
  ("(x 3)" 95 99)
  ("(x 2)" 99 102)
  ("(x 1)" 102 127)
  ("(x stable)" 4 34)
  ("(x up)" 34 47)
  ("(x stable)" 47 50)
  ("(x up)" 50 57)
  ("(x stable)" 57 87)
  ("(x up)" 87 120)
  ("(x stable)" 120 123)
  ("(x up)" 123 127)
  ("(y 1)" 3 17)
  ("(y 2)" 17 30)
  ("(y 3)" 30 35)
  ("(y 4)" 35 40)
  ("(y 5)" 40 49)
  ("(y 6)" 49 88)
  ("(y 5)" 88 94)
  ("(y 4)" 94 98)
  ("(y 3)" 98 102)
  ("(y 2)" 102 107)
  ("(y 1)" 107 127)
  ("(y stable)" 4 11)
  ("(y down)" 11 59)
  ("(y stable)" 59 81)
  ("(y up)" 81 121)
  ("(y stable)" 121 126)
  ("(y down)" 126 127)
 ))
(8
 (
  ("(x 6)" 3 32)
  ("(x 5)" 32 50)
  ("(x 4)" 50 92)
  ("(x 3)" 92 97)
  ("(x 2)" 97 102)
  ("(x 1)" 102 136)
  ("(x stable)" 4 5)
  ("(x up)" 5 12)
  ("(x stable)" 12 23)
  ("(x up)" 23 60)
  ("(x stable)" 60 84)
  ("(x up)" 84 124)
  ("(x stable)" 124 131)
  ("(x up)" 131 136)
  ("(y 2)" 3 10)
  ("(y 1)" 10 24)
  ("(y 2)" 24 35)
  ("(y 3)" 35 39)
  ("(y 4)" 39 43)
  ("(y 5)" 43 49)
  ("(y 6)" 49 89)
  ("(y 5)" 89 95)
  ("(y 4)" 95 99)
  ("(y 3)" 99 104)
  ("(y 2)" 104 113)
  ("(y 1)" 113 136)
  ("(y up)" 4 15)
  ("(y stable)" 15 20)
  ("(y down)" 20 62)
  ("(y stable)" 62 67)
  ("(y up)" 67 120)
  ("(y stable)" 120 133)
  ("(y down)" 133 136)
 ))
(9
 (
  ("(x 6)" 3 28)
  ("(x 5)" 28 36)
  ("(x 4)" 36 58)
  ("(x 3)" 58 64)
  ("(x 2)" 64 69)
  ("(x 1)" 69 94)
  ("(x stable)" 4 22)
  ("(x up)" 22 44)
  ("(x stable)" 44 52)
  ("(x up)" 52 80)
  ("(x stable)" 80 87)
  ("(x up)" 87 94)
  ("(y 2)" 3 21)
  ("(y 3)" 21 25)
  ("(y 4)" 25 29)
  ("(y 5)" 29 33)
  ("(y 6)" 33 60)
  ("(y 5)" 60 65)
  ("(y 4)" 65 68)
  ("(y 3)" 68 71)
  ("(y 2)" 71 76)
  ("(y 1)" 76 94)
  ("(y stable)" 4 12)
  ("(y down)" 12 43)
  ("(y stable)" 43 51)
  ("(y up)" 51 85)
  ("(y stable)" 85 92)
  ("(y down)" 92 94)
 ))
(10
 (
  ("(x 6)" 3 28)
  ("(x 5)" 28 35)
  ("(x 4)" 35 69)
  ("(x 3)" 69 78)
  ("(x 2)" 78 87)
  ("(x 1)" 87 112)
  ("(x stable)" 4 19)
  ("(x up)" 19 43)
  ("(x stable)" 43 64)
  ("(x up)" 64 101)
  ("(x stable)" 101 112)
  ("(y 2)" 3 23)
  ("(y 3)" 23 27)
  ("(y 4)" 27 30)
  ("(y 5)" 30 36)
  ("(y 6)" 36 69)
  ("(y 5)" 69 75)
  ("(y 4)" 75 78)
  ("(y 3)" 78 82)
  ("(y 2)" 82 89)
  ("(y 1)" 89 112)
  ("(y up)" 4 6)
  ("(y stable)" 6 17)
  ("(y down)" 17 45)
  ("(y stable)" 45 63)
  ("(y up)" 63 101)
  ("(y stable)" 101 107)
  ("(y down)" 107 112)
 ))
(11
 (
  ("(x 5)" 3 47)
  ("(x 4)" 47 63)
  ("(x 3)" 63 68)
  ("(x 2)" 68 72)
  ("(x 1)" 72 93)
  ("(x stable)" 4 30)
  ("(x up)" 30 54)
  ("(x stable)" 54 55)
  ("(x up)" 55 88)
  ("(x stable)" 88 93)
  ("(y 2)" 3 27)
  ("(y 3)" 27 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 39)
  ("(y 6)" 39 63)
  ("(y 5)" 63 68)
  ("(y 4)" 68 71)
  ("(y 3)" 71 74)
  ("(y 2)" 74 79)
  ("(y 1)" 79 93)
  ("(y stable)" 4 17)
  ("(y down)" 17 50)
  ("(y stable)" 50 54)
  ("(y up)" 54 89)
  ("(y stable)" 89 91)
  ("(y down)" 91 93)
 ))
(12
 (
  ("(x 6)" 3 29)
  ("(x 5)" 29 43)
  ("(x 4)" 43 64)
  ("(x 3)" 64 71)
  ("(x 2)" 71 78)
  ("(x 1)" 78 108)
  ("(x stable)" 4 16)
  ("(x up)" 16 49)
  ("(x stable)" 49 55)
  ("(x up)" 55 92)
  ("(x stable)" 92 102)
  ("(x up)" 102 108)
  ("(y 2)" 3 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 38)
  ("(y 6)" 38 68)
  ("(y 5)" 68 73)
  ("(y 4)" 73 76)
  ("(y 3)" 76 79)
  ("(y 2)" 79 85)
  ("(y 1)" 85 108)
  ("(y stable)" 4 16)
  ("(y down)" 16 50)
  ("(y stable)" 50 57)
  ("(y up)" 57 98)
  ("(y stable)" 98 104)
  ("(y down)" 104 108)
 ))
(13
 (
  ("(x 6)" 3 31)
  ("(x 5)" 31 47)
  ("(x 4)" 47 80)
  ("(x 3)" 80 86)
  ("(x 2)" 86 91)
  ("(x 1)" 91 119)
  ("(x stable)" 4 17)
  ("(x up)" 17 24)
  ("(x stable)" 24 29)
  ("(x up)" 29 58)
  ("(x stable)" 58 69)
  ("(x up)" 69 104)
  ("(x stable)" 104 115)
  ("(x up)" 115 119)
  ("(y 2)" 3 35)
  ("(y 3)" 35 39)
  ("(y 4)" 39 42)
  ("(y 5)" 42 46)
  ("(y 6)" 46 79)
  ("(y 5)" 79 84)
  ("(y 4)" 84 88)
  ("(y 3)" 88 91)
  ("(y 2)" 91 96)
  ("(y 1)" 96 119)
  ("(y up)" 4 11)
  ("(y stable)" 11 13)
  ("(y up)" 13 20)
  ("(y stable)" 20 28)
  ("(y down)" 28 59)
  ("(y stable)" 59 65)
  ("(y up)" 65 103)
  ("(y stable)" 103 119)
 ))
(14
 (
  ("(x 6)" 3 28)
  ("(x 5)" 28 36)
  ("(x 4)" 36 58)
  ("(x 3)" 58 64)
  ("(x 2)" 64 70)
  ("(x 1)" 70 95)
  ("(x stable)" 4 17)
  ("(x down)" 17 18)
  ("(x stable)" 18 20)
  ("(x up)" 20 44)
  ("(x stable)" 44 50)
  ("(x up)" 50 82)
  ("(x stable)" 82 95)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 34)
  ("(y 6)" 34 59)
  ("(y 5)" 59 64)
  ("(y 4)" 64 67)
  ("(y 3)" 67 70)
  ("(y 2)" 70 75)
  ("(y 1)" 75 95)
  ("(y stable)" 4 17)
  ("(y down)" 17 47)
  ("(y stable)" 47 49)
  ("(y up)" 49 88)
  ("(y stable)" 88 89)
  ("(y down)" 89 95)
 ))
(15
 (
  ("(x 6)" 3 32)
  ("(x 5)" 32 47)
  ("(x 4)" 47 71)
  ("(x 3)" 71 80)
  ("(x 2)" 80 87)
  ("(x 1)" 87 112)
  ("(x up)" 4 5)
  ("(x down)" 5 12)
  ("(x stable)" 12 26)
  ("(x up)" 26 62)
  ("(x stable)" 62 67)
  ("(x up)" 67 99)
  ("(x stable)" 99 112)
  ("(y 2)" 3 33)
  ("(y 3)" 33 37)
  ("(y 4)" 37 40)
  ("(y 5)" 40 46)
  ("(y 6)" 46 75)
  ("(y 5)" 75 80)
  ("(y 4)" 80 84)
  ("(y 3)" 84 88)
  ("(y 2)" 88 94)
  ("(y 1)" 94 112)
  ("(y up)" 4 10)
  ("(y stable)" 10 24)
  ("(y down)" 24 60)
  ("(y stable)" 60 65)
  ("(y up)" 65 101)
  ("(y stable)" 101 108)
  ("(y down)" 108 112)
 ))
(16
 (
  ("(x 6)" 3 36)
  ("(x 5)" 36 48)
  ("(x 4)" 48 61)
  ("(x 3)" 61 86)
  ("(x 2)" 86 95)
  ("(x 1)" 95 124)
  ("(x down)" 4 10)
  ("(x stable)" 10 24)
  ("(x up)" 24 67)
  ("(x stable)" 67 77)
  ("(x up)" 77 109)
  ("(x stable)" 109 121)
  ("(x up)" 121 124)
  ("(y 2)" 3 36)
  ("(y 3)" 36 43)
  ("(y 4)" 43 47)
  ("(y 5)" 47 51)
  ("(y 6)" 51 81)
  ("(y 5)" 81 86)
  ("(y 4)" 86 90)
  ("(y 3)" 90 95)
  ("(y 2)" 95 102)
  ("(y 1)" 102 124)
  ("(y stable)" 4 26)
  ("(y down)" 26 65)
  ("(y stable)" 65 70)
  ("(y up)" 70 110)
  ("(y stable)" 110 121)
  ("(y down)" 121 124)
 ))
(17
 (
  ("(x 6)" 3 16)
  ("(x 5)" 16 47)
  ("(x 4)" 47 61)
  ("(x 3)" 61 64)
  ("(x 2)" 64 68)
  ("(x 1)" 68 93)
  ("(x stable)" 4 8)
  ("(x up)" 8 48)
  ("(x stable)" 48 53)
  ("(x up)" 53 83)
  ("(x stable)" 83 84)
  ("(x up)" 84 93)
  ("(y 1)" 3 13)
  ("(y 2)" 13 21)
  ("(y 3)" 21 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 33)
  ("(y 6)" 33 58)
  ("(y 5)" 58 62)
  ("(y 4)" 62 65)
  ("(y 3)" 65 68)
  ("(y 2)" 68 76)
  ("(y 1)" 76 92)
  ("(y 2)" 92 93)
  ("(y stable)" 4 8)
  ("(y down)" 8 45)
  ("(y stable)" 45 50)
  ("(y up)" 50 81)
  ("(y stable)" 81 88)
  ("(y down)" 88 93)
 ))
(18
 (
  ("(x 5)" 3 45)
  ("(x 4)" 45 69)
  ("(x 3)" 69 73)
  ("(x 2)" 73 77)
  ("(x 1)" 77 101)
  ("(x stable)" 4 29)
  ("(x up)" 29 55)
  ("(x stable)" 55 62)
  ("(x up)" 62 90)
  ("(x stable)" 90 101)
  ("(y 2)" 3 33)
  ("(y 3)" 33 37)
  ("(y 4)" 37 39)
  ("(y 5)" 39 43)
  ("(y 6)" 43 69)
  ("(y 5)" 69 73)
  ("(y 4)" 73 77)
  ("(y 3)" 77 81)
  ("(y 2)" 81 86)
  ("(y 1)" 86 100)
  ("(y 2)" 100 101)
  ("(y stable)" 4 27)
  ("(y down)" 27 57)
  ("(y stable)" 57 58)
  ("(y up)" 58 93)
  ("(y stable)" 93 95)
  ("(y down)" 95 101)
 ))
(19
 (
  ("(x 6)" 3 29)
  ("(x 5)" 29 39)
  ("(x 4)" 39 62)
  ("(x 3)" 62 70)
  ("(x 2)" 70 77)
  ("(x 1)" 77 104)
  ("(x down)" 4 5)
  ("(x stable)" 5 21)
  ("(x up)" 21 48)
  ("(x stable)" 48 54)
  ("(x up)" 54 91)
  ("(x stable)" 91 102)
  ("(x up)" 102 104)
  ("(y 2)" 3 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 39)
  ("(y 6)" 39 66)
  ("(y 5)" 66 72)
  ("(y 4)" 72 75)
  ("(y 3)" 75 78)
  ("(y 2)" 78 84)
  ("(y 1)" 84 104)
  ("(y up)" 4 6)
  ("(y stable)" 6 20)
  ("(y down)" 20 53)
  ("(y up)" 53 93)
  ("(y stable)" 93 101)
  ("(y down)" 101 104)
 ))
(20
 (
  ("(x 6)" 3 25)
  ("(x 5)" 25 41)
  ("(x 4)" 41 73)
  ("(x 3)" 73 78)
  ("(x 2)" 78 83)
  ("(x 1)" 83 111)
  ("(x stable)" 4 14)
  ("(x up)" 14 51)
  ("(x stable)" 51 61)
  ("(x up)" 61 98)
  ("(x stable)" 98 106)
  ("(x up)" 106 111)
  ("(y 2)" 3 28)
  ("(y 3)" 28 32)
  ("(y 4)" 32 35)
  ("(y 5)" 35 40)
  ("(y 6)" 40 71)
  ("(y 5)" 71 77)
  ("(y 4)" 77 81)
  ("(y 3)" 81 84)
  ("(y 2)" 84 91)
  ("(y 1)" 91 111)
  ("(y stable)" 4 19)
  ("(y down)" 19 56)
  ("(y stable)" 56 59)
  ("(y up)" 59 99)
  ("(y stable)" 99 107)
  ("(y down)" 107 111)
 ))
(21
 (
  ("(x 6)" 3 35)
  ("(x 5)" 35 45)
  ("(x 4)" 45 69)
  ("(x 3)" 69 76)
  ("(x 2)" 76 83)
  ("(x 1)" 83 120)
  ("(x down)" 4 7)
  ("(x stable)" 7 26)
  ("(x up)" 26 54)
  ("(x stable)" 54 62)
  ("(x up)" 62 97)
  ("(x stable)" 97 114)
  ("(x up)" 114 120)
  ("(y 3)" 3 5)
  ("(y 2)" 5 28)
  ("(y 3)" 28 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 41)
  ("(y 6)" 41 73)
  ("(y 5)" 73 77)
  ("(y 4)" 77 80)
  ("(y 3)" 80 84)
  ("(y 2)" 84 93)
  ("(y 1)" 93 120)
  ("(y up)" 4 13)
  ("(y stable)" 13 24)
  ("(y down)" 24 57)
  ("(y stable)" 57 61)
  ("(y up)" 61 105)
  ("(y stable)" 105 119)
  ("(y down)" 119 120)
 ))
(22
 (
  ("(x 6)" 3 25)
  ("(x 5)" 25 54)
  ("(x 4)" 54 60)
  ("(x 3)" 60 64)
  ("(x 2)" 64 69)
  ("(x 1)" 69 101)
  ("(x stable)" 4 6)
  ("(x up)" 6 42)
  ("(x stable)" 42 50)
  ("(x up)" 50 78)
  ("(x stable)" 78 101)
  ("(y 1)" 3 8)
  ("(y 2)" 8 21)
  ("(y 3)" 21 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 32)
  ("(y 6)" 32 60)
  ("(y 5)" 60 65)
  ("(y 4)" 65 67)
  ("(y 3)" 67 70)
  ("(y 2)" 70 78)
  ("(y 1)" 78 99)
  ("(y 2)" 99 101)
  ("(y stable)" 4 6)
  ("(y down)" 6 44)
  ("(y stable)" 44 51)
  ("(y up)" 51 81)
  ("(y stable)" 81 98)
  ("(y down)" 98 101)
 ))
